677 research outputs found
Succinct Representations of Permutations and Functions
We investigate the problem of succinctly representing an arbitrary
permutation, \pi, on {0,...,n-1} so that \pi^k(i) can be computed quickly for
any i and any (positive or negative) integer power k. A representation taking
(1+\epsilon) n lg n + O(1) bits suffices to compute arbitrary powers in
constant time, for any positive constant \epsilon <= 1. A representation taking
the optimal \ceil{\lg n!} + o(n) bits can be used to compute arbitrary powers
in O(lg n / lg lg n) time.
We then consider the more general problem of succinctly representing an
arbitrary function, f: [n] \rightarrow [n] so that f^k(i) can be computed
quickly for any i and any integer power k. We give a representation that takes
(1+\epsilon) n lg n + O(1) bits, for any positive constant \epsilon <= 1, and
computes arbitrary positive powers in constant time. It can also be used to
compute f^k(i), for any negative integer k, in optimal O(1+|f^k(i)|) time.
We place emphasis on the redundancy, or the space beyond the
information-theoretic lower bound that the data structure uses in order to
support operations efficiently. A number of lower bounds have recently been
shown on the redundancy of data structures. These lower bounds confirm the
space-time optimality of some of our solutions. Furthermore, the redundancy of
one of our structures "surpasses" a recent lower bound by Golynski [Golynski,
SODA 2009], thus demonstrating the limitations of this lower bound.Comment: Preliminary versions of these results have appeared in the
Proceedings of ICALP 2003 and 2004. However, all results in this version are
improved over the earlier conference versio
Parameterized Algorithms on Perfect Graphs for deletion to -graphs
For fixed integers , a graph is called an {\em
-graph} if the vertex set can be partitioned into
independent sets and cliques. The class of graphs
generalizes -colourable graphs (when and hence not surprisingly,
determining whether a given graph is an -graph is \NP-hard even when
or in general graphs.
When and are part of the input, then the recognition problem is
NP-hard even if the input graph is a perfect graph (where the {\sc Chromatic
Number} problem is solvable in polynomial time). It is also known to be
fixed-parameter tractable (FPT) on perfect graphs when parameterized by and
. I.e. there is an f(r+\ell) \cdot n^{\Oh(1)} algorithm on perfect
graphs on vertices where is some (exponential) function of and
.
In this paper, we consider the parameterized complexity of the following
problem, which we call {\sc Vertex Partization}. Given a perfect graph and
positive integers decide whether there exists a set of size at most such that the deletion of from results in an
-graph. We obtain the following results: \begin{enumerate} \item {\sc
Vertex Partization} on perfect graphs is FPT when parameterized by .
\item The problem does not admit any polynomial sized kernel when parameterized
by . In other words, in polynomial time, the input graph can not be
compressed to an equivalent instance of size polynomial in . In fact,
our result holds even when .
\item When are universal constants, then {\sc Vertex Partization} on
perfect graphs, parameterized by , has a polynomial sized kernel.
\end{enumerate
Bidimensionality and EPTAS
Bidimensionality theory is a powerful framework for the development of
metaalgorithmic techniques. It was introduced by Demaine et al. as a tool to
obtain sub-exponential time parameterized algorithms for problems on H-minor
free graphs. Demaine and Hajiaghayi extended the theory to obtain PTASs for
bidimensional problems, and subsequently improved these results to EPTASs.
Fomin et. al related the theory to the existence of linear kernels for
parameterized problems. In this paper we revisit bidimensionality theory from
the perspective of approximation algorithms and redesign the framework for
obtaining EPTASs to be more powerful, easier to apply and easier to understand.
Two of the most widely used approaches to obtain PTASs on planar graphs are
the Lipton-Tarjan separator based approach, and Baker's approach. Demaine and
Hajiaghayi strengthened both approaches using bidimensionality and obtained
EPTASs for a multitude of problems. We unify the two strenghtened approaches to
combine the best of both worlds. At the heart of our framework is a
decomposition lemma which states that for "most" bidimensional problems, there
is a polynomial time algorithm which given an H-minor-free graph G as input and
an e > 0 outputs a vertex set X of size e * OPT such that the treewidth of G n
X is f(e). Here, OPT is the objective function value of the problem in question
and f is a function depending only on e. This allows us to obtain EPTASs on
(apex)-minor-free graphs for all problems covered by the previous framework, as
well as for a wide range of packing problems, partial covering problems and
problems that are neither closed under taking minors, nor contractions. To the
best of our knowledge for many of these problems including cycle packing,
vertex-h-packing, maximum leaf spanning tree, and partial r-dominating set no
EPTASs on planar graphs were previously known
- β¦